home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / EXPERT.LZH / PRODSYS / ANIMDATA.PRO < prev    next >
Text File  |  1980-01-01  |  2KB  |  50 lines
  1.  
  2. datum(d('dress frac')).
  3.  
  4. datum(c(C3)).
  5.  
  6. datum(b('is very noisy')).
  7.  
  8. datum(a('has a lot of fleas')).
  9.  
  10. datum(yes).
  11. obj('cheetah'):- gen('mammal'),gen('carnivore'),
  12.         affirm('tawny spots').
  13. obj('tiger'):- gen('mammal'),gen('carnivore'),affirm('tawny stripes').
  14. obj('cat') :- gen('mammal'),gen('carnivore'),datum(a(X)),affirm(X),
  15.         affirm('mews').
  16. obj('dog') :- gen('mammal') , gen('carnivore'),affirm('hairy'),
  17.         datum(b(X)),affirm(X),affirm('barks').
  18. obj('giraffe'):- gen('mammal'),gen('ungulate'),affirm('long neck'),
  19.         affirm('long legs'),affirm('spots').
  20. obj('zebra'):- gen('mammal'),gen('ungulate'),datum(c(X)),affirm(X),
  21.         affirm('stripes').
  22. obj('ostrich'):- gen('bird'),affirm('flies bad'),affirm('long neck'),
  23.         affirm('long legs'),affirm('black and white').
  24. obj('penguin'):- gen('bird'),affirm('flies bad'),affirm('swims'),
  25.         datum(d(X)),affirm(X),affirm('black and white').
  26. obj('albatros'):- gen('bird'),affirm('flies well'),affirm('long wings').
  27. gen('mammal'):- affirm('milk'),affirm('hair').
  28. gen('carnivore'):- affirm('eats meat'),affirm('pointed teeth').
  29. gen('ungulate'):- gen('mammal'),affirm('chews cud'),affirm('hooves').
  30. gen('bird'):- affirm('feathers'),affirm('wings').
  31.  
  32. data:-
  33. print('Add 4 characteristics to alter cat,dog,zebra & penguin definitions'),
  34. print('\nwrite between '),write('quotes'),print(' no alteration: '),
  35. print('quote_quote'), print('\nend with a period<RET>'),
  36. nl,print('Characteristic 1 '),read(C1),title(Tit),
  37. assertfa(Tit,datum(a(C1))),
  38. print('Characteristic 2 '),read(C2),
  39. assertfa(Tit,datum(b(C2))),
  40. print('Characteristic 3 '),read(C3),
  41. assertfa(Tit,datum(c(C3))),
  42. print('Characteristic 4 '),read(C4),
  43. assertfa(Tit,datum(d(C4))),retract(datum(no)),asserta(datum(yes)),
  44. assertfz(Tit,datum(yes)),dataf.
  45.  
  46. dataf:- datum(a(W)),A is W,datum(b(X)),B is X,datum(c(Y)),C is Y,datum(d(Z)),
  47.     D is Z,menu.
  48.  
  49.  
  50.